v. Do l and v have the same value?
True
Let a = -191 - -203. Let t be (3 + 24)/(18/a). Suppose -2*q = -3*p - q + 58, -q - 4 = 0. Is p greater than t?
False
Let y be 41/(-25 + 189) - (-3342)/8. Is y not equal to 433?
True
Suppose -152 + 132 = 5*j + 5*i, j = -2*i - 8. Which is greater: 2/66225 or j?
2/66225
Let q(f) = -14*f - 12. Let d be q(-1). Suppose 3*n = -2*c - 81, 2*n - d*c + 46 = -6*c. Is n >= -117/4?
True
Let d(j) = j**3 - 2*j**2 - j - 5. Let f be d(3). Let u be -36 + (3 + 2 - (f + 9)). Are u and -202/5 non-equal?
True
Suppose -j - 3*t + 164 = -208, 360 = j + 6*t. Is 375 less than j?
True
Let x = -0.1 + 0.12. Let l = 601 + -608. Is l at most x?
True
Let j be ((-11)/(-44) + (-5)/(-12))/(40/50). Let w be 4*-2 + 0/4. Let a be w/(-10)*(-10)/(-4). Which is smaller: j or a?
j
Suppose 4*b + 90 + 114 = 38*b. Which is smaller: 299/40 or b?
b
Let d be (-959)/35 - ((-102)/(-1275))/(1/(-5)). Which is smaller: d or -2/805?
d
Let b be (248/(-33) + 4/22)/((-10)/30). Suppose 3*r = 8*r - 135. Which is smaller: r or b?
b
Suppose -25 = 6*x - x. Let b = -33/10 + -21/10. Which is bigger: b or x?
x
Let t be 6448/48 - -1 - 0/2. Are t and 135 equal?
False
Let y = -17.3 + -76.7. Let n = y - -94.13. Is -2 >= n?
False
Let u be 161/69 + (-4)/(-6). Which is smaller: 218/53 or u?
u
Let m(n) = n**3 - n**2 - n - 2. Let z be m(2). Suppose -l = 2*t - 3, 2*l = 3*t - z*t + 13. Let v be ((1 - l) + 9)/(3/(-3)). Is v bigger than -14/3?
False
Let a be (2 - (-21)/(-11))*43998/5. Let b = a + -800. Suppose -3*i + 6 = -2*t, 0 = -3*i - 2*t + 1 - 7. Which is smaller: i or b?
b
Suppose -10*b = 1 + 29. Let l be 1/(-3)*101/b. Which is bigger: 12 or l?
12
Suppose -12990 - 10671 = -11*y. Do 2149 and y have different values?
True
Suppose 28*z = 116 - 508. Let u(y) = 2*y**3 + 25*y**2 - 41*y - 24. Let r be u(z). Is -43 bigger than r?
False
Let c be ((-21)/(-5))/(2*(-3)/(-2748)). Let n = -1962 + c. Is n equal to -38?
False
Let k = -1.6 + 1.5. Let q = k - -4.5. Let h = q + -5.4. Do h and 31 have the same value?
False
Suppose 4*n - 52 = -5*m, -4*n + 5*n + 2 = 0. Let r be (-61)/m + 5 - 2/(-6). Is 0 less than or equal to r?
True
Let g = 3866378785/21214 - 182256. Is 1 greater than g?
True
Let v = -1138.04 + 1130.04. Let x = -3 - -3. Is x greater than v?
True
Suppose -7191 = 4*a - 55*a. Is a less than -0.4?
False
Let a = 8276 - 7831. Is 439 != a?
True
Let q be 742/(-29680)*1*8/(-6). Let c be (-3)/6 - (-1)/(-2). Which is bigger: c or q?
q
Suppose 0 = 2*w + 5*y - 908, -w + y = -235 - 219. Let r be 8/(-64) - w/208. Is -2 not equal to r?
True
Let l = 39248 - 274784/7. Suppose -38 = 5*y + 2*v, 5*v = -y + 3*y + 21. Is y less than l?
True
Let p be (-160)/240*3/5. Which is smaller: p or 3067?
p
Suppose -115*c + 225*c = 118*c + 4152. Which is bigger: c or -4?
-4
Let w(t) = -2*t**2 + 13*t + 38. Let p be w(9). Let g be 21/p + (-1 - -4) + -1. Let b = -656 - -33457/51. Which is smaller: g or b?
g
Let z = 24968 + -24970. Let t = -5/102 + -1877/204. Which is smaller: z or t?
t
Let b = -2377 + 2336. Is b bigger than -33?
False
Let p be 97 + -100 - (-1 + 106/17). Which is bigger: 0 or p?
0
Let a = -723/11 + 42613/649. Which is bigger: -1/31 or a?
-1/31
Let l be 5*4/35 + (-10466)/14. Is -745 bigger than l?
True
Let c = -49 + 33.27. Let f = c + 16. Are -1 and f equal?
False
Let n = -390 - -36. Let j = -352 - n. Which is smaller: j or -17?
-17
Let k be 216/576 - 3/8. Which is smaller: k or -792?
-792
Let p be 1 + (196/10)/2. Suppose -s + 5 = 0, 11 = -k - 8*s + 12*s. Suppose -85 = -5*t - 5*c, k = -c + 14. Is p at most t?
True
Let h be ((-98091)/(-18))/21 - 7. Is h greater than 254?
False
Suppose 4*s - 14776 = g, -s - 6296 = 2*g + 23220. Is -14760 less than g?
False
Suppose -908 = -31*g - 3729. Which is bigger: -1174/13 or g?
-1174/13
Suppose -6*i + 80 = -i. Let t be (-22)/6 - i/(-24). Let n be (3 + 33/(-9))*t/(-1). Is -5/6 bigger than n?
True
Let n(f) = -8 + 20 + 0*f - 8*f + 7. Let z be n(-1). Which is smaller: z or 28?
z
Let q be (-10)/105 - 341/(-2919). Suppose -12 = 4*h, -5*h - 18 = 4*p - 7. Is p smaller than q?
False
Suppose 0 = -4*l + 2*i + 86, 0*l = -l + 2*i + 23. Suppose -112 = l*s - 280. Is 8 greater than or equal to s?
True
Suppose -6*g + 1557 = -477. Let b = 329 - g. Which is smaller: -13 or b?
-13
Let m = 6 - 0. Let t be m/27*(-15)/(-2). Let v = 823 + -821. Is v at most t?
False
Let a(x) = 160*x - 309. Let h be a(9). Suppose 0 = -13*u - 0*u - h. Which is greater: u or -91?
u
Let r(y) = -2*y + 40. Let c be r(19). Suppose 2*q = 4*z - 87 - 151, 299 = 5*z - c*q. Which is smaller: 57 or z?
57
Suppose 48 = -4*u - 0*u. Suppose 30*a = 26*a - 20. Let b be (a/((-100)/u))/((-1)/(-5)). Is -5 greater than b?
False
Let o = -0.0418 - -0.055. Let k = 0.0098 + o. Is -1 less than or equal to k?
True
Let k = 0.1195 - -14.8805. Let p = 27 + -21. Which is bigger: k or p?
k
Let z(f) = -21*f - 170. Let y be z(-8). Let o be 2 - (-1130)/(-162) - 10/y. Is o smaller than -1?
False
Let g be (-368)/(-64) - (-1)/4. Suppose -148 + 16 = -g*b. Which is greater: 26 or b?
26
Suppose -11*c + 24 = c. Let r be (-1)/(c/2*15/(-555)). Is 42 smaller than r?
False
Let q = -5897 + 6412. Is 2/19 at most as big as q?
True
Suppose 0 = -2*b - 4*i + 34, -16 = 6*i - 2*i. Let u be -73 + 71 + (214/(-8))/(-1). Is b at most u?
False
Let n(m) = 7*m**2 - 7*m + 12. Let i be n(-3). Let c = i + 171. Is 267 at most c?
True
Let u be 948/(-8) - 6/4. Let p be (-3 + 0)/(-3)*u/160. Let s = -1 + 1. Which is greater: s or p?
s
Let n = -53 - -13. Let l = -22 - n. Let y be l*(-3)/24*-4. Which is smaller: 8 or y?
8
Let d = -7 - -6. Let w = -110091 + 1986245/18. Let o = w + -256. Are d and o nonequal?
True
Let a = 1135 + -880. Which is smaller: a or -3?
-3
Suppose -6*b + 11 = -b + 2*u, 3*b + 5*u - 18 = 0. Suppose 4*w + w = 5, -5*l + 15 = -5*w. Suppose q - 15 = 4*o + 9, -4*o + l = 0. Which is smaller: b or q?
b
Let j(h) = -175*h + 1128. Let m be j(7). Let n be (9/(-12))/((-1)/(-124)). Let f = n - m. Which is bigger: f or -1?
f
Suppose -316*a + 318*a = 228. Let n = a - 1251/11. Let o = 0 - 0. Is n greater than or equal to o?
True
Let s = -4.99 - 0.01. Let r = -537 + 719. Let i = -189 + r. Which is bigger: i or s?
s
Let h be 52/(-598) + (-478418)/322. Let r = h + 1499. Is r less than 3?
False
Let s = 350331/560 - 895/112. Let a(m) = -2*m**2 - 90*m - 351. Let d be a(-27). Let v = s - d. Is 1 at most v?
False
Suppose 0 = -6*i + 20 + 10. Suppose -i = 6*p - 17. Suppose 5*u - 3*z = 7, 1 = -p*u + 5*z - 0. Is u greater than 1/2?
True
Suppose -u = -3*x - 8, u + 3*x = 6*u - 88. Suppose 2*f + 152 = u. Let b = -65 - f. Which is smaller: -2/347 or b?
-2/347
Let b be 3/(-4 - -3)*(-342)/54. Which is smaller: b or 265/14?
265/14
Suppose 0 = 2*k - 5*w - 11, -5*k - 1 + 6 = -5*w. Let d be 42*(6 + -5)*k/6. Which is smaller: d or -3/4?
d
Let r = 490/19 - 6446/247. Which is greater: r or -329?
r
Suppose 2*o = -7*d - 8354, 4*o - 39 = -31. Are -1197 and d nonequal?
True
Let m = -291/2 - -145. Let l = 0.12 + 18.88. Let o = 44 - l. Which is smaller: o or m?
m
Let l = 1212/161 + -15917/2093. Let k be 1/((-2)/2 - 0). Which is smaller: k or l?
k
Let c(d) = -d**3 - 13*d**2 - 20*d + 62. Let w be c(-8). Which is smaller: -195/2 or w?
w
Let o(h) = 2*h**2 + 5*h - 5. Let t = 9 - 14. Let s be o(t). Suppose 0 = -3*y + c - 4, -4*y - 5*c - s - 17 = 0. Is y smaller than 1/9?
True
Let d = -17 - -10. Let v(y) = -6*y**3 - y**2 - 16*y - 31. Let x be v(-4). Let m = -815/2 + x. Are m and d nonequal?
True
Suppose 3*r + 2*r + 29 = -a, 2*r + 13 = a. Which is greater: 11/612 or a?
a
Suppose -5*g + 0*g = 2*k + 1753, -5*k - 4348 = g. Is -877 at most k?
True
Suppose 15*i = -32*i + 4136. Let x be i/12*(-588)/(-40). Are 107 and x equal?
False
Let t = -1.2882 - 0.6368. Which is smaller: 1/4 or t?
t
Suppose -10*x = -4*j - 15510, 2*j + 24*x + 7795 = 21*x. Which is smaller: -3891 or j?
-3891
Let u be (-18*(-14)/(-294))/(1/((-3094)/(-16))). Is u at least -166?
True
Let q be ((-2)/4 - 1)/3. Let c be (-3 + 1)*(-90)/20. Let o = c - -13. Which is smaller: o or q?
q
Let n = -71861/726 - -593/6. Which is smaller: n or -1?
-1
Let o = 1307/7 + -186. Suppose 5*j = -4*w, -5*w = -5*j - 28 - 17. Suppose 6*v - w*v - 2 = 0. Which is smaller: o or v?
o
Let o = 770.474 + -1.474. Let p = o - 770. Which is greater: p or -866?
p
Suppose 0*j + 2*s - 5