+ 25. Let x be w(11). Suppose x*p - 2 = -5. Suppose 3*y - 6*y = -5*v - 16, 5*v + 18 = 4*y. Which is bigger: v or p?
p
Suppose 0 = c - 3, -5*v = -2*v + 5*c - 66. Suppose -40 = -3*z + 11. Is z greater than v?
False
Suppose 3*m + 3*i - 6 = -0*i, -3*i = -m + 14. Suppose 98 = 3*q + 4*h, -8*q - m*h = -3*q - 160. Do q and 32 have the same value?
False
Let o be (-6)/4*152/60. Suppose -4*g - 5*c = -244, -6*g = -9*g - 3*c + 186. Let u = 63 - g. Which is bigger: u or o?
u
Let a(x) = -x**2 + 2*x. Let k = 10 - 9. Let z be a(k). Let g = 3 + -3. Is g not equal to z?
True
Suppose -b + 38 = 3*a - 71, 0 = 5*a + 3*b - 179. Let j = -113/3 + a. Let m = 16/9 + j. Which is greater: 0 or m?
m
Let q = -334/5 - -25728/385. Which is greater: 1 or q?
1
Suppose 72*c - 9 = 81*c. Which is greater: -2/5 or c?
-2/5
Let o(c) = c**3 - 6*c**2 + 4*c + 5. Let y be o(5). Suppose y*h + h = 7. Let n = 40 - 40. Which is greater: h or n?
h
Let f = 0.027 - -0.093. Let y = 0.02 - f. Are 0.27 and y non-equal?
True
Suppose -4*a - 2*g = 90, -5*a = 2*g - 0*g + 112. Does -24 = a?
False
Let h = -63/2 + 31. Let c = -1/4 + h. Which is bigger: c or 1?
1
Suppose -3*i - 8 = 2*u, 4*u + 4*i - 3*i + 16 = 0. Let x be ((-8)/(-18))/((-3)/18). Which is smaller: u or x?
u
Let z = 1/412 - -2459/5356. Is -0.9 at least as big as z?
False
Let x = 6.7 - 7. Let j = -1.77 - 4.23. Do j and x have the same value?
False
Let x = -119/33 - -3932/825. Is x >= 1?
True
Let r(h) = 1124*h**2 + 8*h + 7. Let f be r(-1). Which is greater: 0 or f?
f
Let a = -0.046 + -37.954. Let n = a - -37. Let q = 112 - 1233/11. Which is smaller: q or n?
n
Let x(f) = 3*f - 16. Let o be x(4). Let b be 8/12 - (-88)/(-114). Which is smaller: o or b?
o
Suppose q + 2 = -h, -12*q = h - 9*q + 2. Let d(o) = o**3 - 5*o**2 - 5*o - 5. Let x be d(6). Let c be 3 + x + 2*h. Which is bigger: c or 1/6?
1/6
Let s be (-2)/(-2)*(0 - -5). Let c = -8 + s. Let x be ((-4140)/81)/20 + 1. Which is smaller: c or x?
c
Suppose -q + 6*q - 5 = 0. Let n = -300 + 5999/20. Which is smaller: q or n?
n
Let v(i) = -15*i + 24. Let h be v(2). Which is bigger: h or -18?
h
Let u = -1 + -37. Let j = u + 20. Let s(m) = m**3 + 29*m**2 + 60*m + 145. Let o be s(-27). Which is smaller: j or o?
j
Let c = 266863/7 - 38239. Which is smaller: c or -117?
-117
Suppose -q - 4*q = 0. Suppose 0 = -2*x + 3*o + 16, -4 = o. Suppose q*y - 2*y = x. Which is greater: y or 2/15?
2/15
Suppose y - 3*b - 24 = 0, -y - 7*b + 20 = -9*b. Is y > -4?
True
Let q = 258.98 - 259. Which is smaller: 2/83 or q?
q
Let p be (1/(-111))/(1/(-2)). Let m = 236/777 - p. Let k be -2 - (-1 + 0/(-2)). Is m greater than or equal to k?
True
Suppose 3*u = -u - 44. Let r = 18 - 0. Suppose 5*h + 49 = 3*l, 2*h - 3*l = -l - r. Is u >= h?
True
Let w be (-18)/21 - (-581823)/(-567). Which is smaller: -1026 or w?
w
Let o be ((-4)/2770)/(9/(-60)). Let a = 7982/34071 + o. Let x = -88/697 + a. Is x greater than or equal to -1?
True
Let r(l) = -3*l - 9. Let i be r(-8). Suppose 5*n = 295 - i. Which is greater: 55 or n?
n
Let n = -223 + 119. Is -104 greater than or equal to n?
True
Let t(u) = -71*u**2 - 445*u + 5. Let p be t(-6). Let i = -27 - -147. Which is greater: i or p?
i
Let q be (-2)/(-16) + (-4380)/(-34080). Which is smaller: q or -1?
-1
Let n(p) be the second derivative of 7*p**5/20 - p**2/2 + 3*p. Let x be n(-1). Let c = x - -4. Is c < -4?
False
Let a = 6 - 6.7. Let z = 0.82 + a. Let u = 1.12 - z. Which is bigger: u or -3/7?
u
Let w = 62 - 41. Let f = 1687 - 1664. Which is smaller: w or f?
w
Let r = -151 - -130. Which is smaller: -16 or r?
r
Suppose 5*m - 17 = -137. Let v be m/((-1)/(-2) - -1). Let c be v/(-40)*(-50)/(-8). Is 3 at least c?
True
Let k(v) = v**2 + 4*v - 3. Let n be k(-5). Suppose 3*w = n*w + 2. Suppose 4*h = 4*g - 1 + 17, 0 = w*g + h - 1. Which is bigger: -3/4 or g?
-3/4
Suppose 8 = -4*h - 8. Suppose 4*k = 112 + 200. Let p be (2/(-20))/(3 + (-231)/k). Which is greater: p or h?
p
Let t = -326 - -330. Does 0.1 = t?
False
Let o be (5 - -1)/((-10)/(-5)). Let l be (o - 1) + (-1 - -4). Let m = -16 - -23. Is l > m?
False
Let f be (-6)/(-4) + 90/20. Suppose f + 6 = 4*q. Let t be q - ((-600)/51)/(-4). Is -1 greater than t?
False
Let t = -27 + 27.7. Let l = t - -0.3. Is l greater than 2?
False
Let q be 11 - (-268)/(-24) - 1054/12. Are 5 and q non-equal?
True
Let o be 5 - (198/(-27))/(7624/(-5196)). Which is bigger: o or -1?
o
Let x = 858 - 605. Is x at most 251?
False
Let i be 48/20 + (-2)/5. Let h be (i/(-6))/((-2)/(-186)). Is h > -32?
True
Suppose -5*p = -p - 20. Suppose 5 = p*n, 2*t + n - 2*n = 93. Is 47 bigger than t?
False
Let z = -29899/28 + 4137/4. Which is smaller: z or -34?
-34
Let d be 6/(-20)*(-12)/(-318). Which is greater: d or -1?
d
Suppose -j + 13 = -0*i + 2*i, 5*i - 2*j = 10. Suppose -5*g + i*h = 9, -3*g + 5*h = h - 1. Let q be (-9)/(-15) - (-1)/g. Is 14 < q?
False
Let t = 129.2 + -131.2. Which is smaller: -608 or t?
-608
Let p = -11.96 - -12.06. Which is smaller: -651 or p?
-651
Suppose 4*c - 39 = 5*t, -4*c = -5*t + 9*t - 84. Do c and 0 have the same value?
False
Let a be (-75)/30 - (-1)/(-2). Let v be a*10/(-15) - 1. Which is bigger: 1/20 or v?
v
Let x = -4663/105 + 281/7. Is -3 equal to x?
False
Let x be (-3)/9*15 + 1. Is -2/33 >= x?
True
Suppose 17 = -10*y + 127. Is y greater than 0.21?
True
Suppose n + j = -0*j - 471, n + 3*j + 479 = 0. Let b = n + 8875/19. Is 1 smaller than b?
False
Let p(y) = 55*y + 63. Let t be p(1). Is 118 smaller than t?
False
Let u be 3*((-28)/16 + 2)*12. Let w(b) = b**2 - 5. Let y be w(-4). Is u <= y?
True
Let q = -4060 + 28422/7. Let x = 2 - 1. Let h be (2/(-4))/(2 + x). Are q and h non-equal?
True
Let h be (-4)/6 + (-426)/(-693). Let l = 669368 - 257706469/385. Let m = l - h. Which is smaller: 0 or m?
0
Let x = 1.23 + 0.17. Let f = x + -1.24. Let m = f + -0.36. Which is smaller: m or -1?
-1
Suppose i + 7*i = 24. Suppose l + 3*l + 16 = 4*h, -i*l = -4*h + 13. Is 3/7 bigger than h?
False
Suppose 5*v + d = -5, 0 = -5*v - 2*d + 4*d + 10. Let w be v - (10 - 0)*(-68)/85. Which is smaller: w or 9?
w
Suppose 4*y + 89 = -79. Let f be 26/(-60) - y/105. Which is smaller: -1 or f?
-1
Let m = -63.2 - -63.1. Which is bigger: -637 or m?
m
Suppose -c + 8 = 3*c. Suppose c*y = 3*y - 10. Let j = -29225 - -29236. Which is bigger: j or y?
j
Let n(x) = x**3 + 5*x**2 + 9*x + 9. Let s be n(-3). Which is smaller: s or 6/65?
s
Let b(o) = o**2 + 7*o. Let z be (-1)/((-2)/(-56)*4). Let t be b(z). Let a be (4/(-8))/(26/(-12)). Is a > t?
True
Let p be 10/120*6*0. Do p and 1/792 have the same value?
False
Let n = 0.23 + -0.23. Let c be ((-9)/(-6))/(3/(-12)). Let y = c - -9. Is y not equal to n?
True
Suppose 3*j - 1490 = -2771. Is j less than or equal to -1285/3?
False
Suppose 5*x + 10 = 2*v - v, 0 = 5*x. Let f be (v/15)/((-1)/6). Let d(l) = 2*l + 11. Let q be d(f). Is q less than 6?
True
Suppose 33 = -4*n - 3*v + 2*v, 0 = 2*n + 2*v + 18. Are -10 and n nonequal?
True
Let p be (-280)/2660 - (410/(-1368) + 0). Which is smaller: -1 or p?
-1
Suppose -3*j - 29 = -5*m, 2*m + 0*m - 11 = j. Let y be m/2*(-35)/42. Is -1 less than or equal to y?
False
Let m be 3/(-5) + (0 - 1). Suppose -110*g + 362*g + 252 = 0. Is g less than or equal to m?
False
Let s be ((-2)/(-1))/((-9)/(-3) + -20). Are 1 and s non-equal?
True
Suppose -3*o - 4 = -o. Let k = 65 - 55. Which is bigger: o or k?
k
Let j be 20/130 - 5/117. Let p = -181/756 + -2/189. Which is greater: j or p?
j
Let t = 153 + -151. Which is smaller: t or -86?
-86
Let s = -0.117 + 10.967. Let c = s + -10. Let d = -0.15 - c. Which is smaller: d or 5/2?
d
Let h be (1 - 2)*1 + 0. Let c be (-181)/955 + h/(-3). Let l = -2/191 + c. Which is smaller: -1 or l?
-1
Let m = -13 + 4. Let n be 0 - 10/(-5) - 192/20. Which is smaller: m or n?
m
Let j = 77 - 115. Suppose 22*n + 234 = 16*n. Are n and j equal?
False
Let d(t) = -t**2 + 11*t - 8. Let h be d(12). Let s = h + 17. Let m(n) = n**2 + 3*n + 1. Let y be m(s). Does -6/13 = y?
False
Let h be (-83)/55 + 1073/1480 + (-1)/8. Let w be (-4)/14 + (-4)/(-14). Suppose w = 4*v + v. Is v at most h?
False
Let t = 900 + -232201/258. Is 1 equal to t?
False
Let h be 2/(-8) - 26/(-8). Suppose h*g = -2 - 1. Is g > -7?
True
Let l(x) = x**3 + 5*x**2 - x - 5. Let n be l(-5). Suppose 4 = -n*j - j. Let z be 52/39*(-1)/j. Which is bigger: 2/7 or z?
z
Let v = -1