 - 34 = v. Which is greater: 6 or u?
u
Suppose 9*y + 27*y = 12*y + 64464. Which is smaller: 2688 or y?
y
Let k = -35 - -34.1. Which is bigger: k or 4?
4
Suppose -4*m - 25 = 3*n + 21, 2*m - n = -18. Let l be (m/(-120))/(4 - -1). Which is greater: 0 or l?
l
Let j = 93 - 59. Suppose 0*q + j = 2*v - 2*q, 0 = 3*v + 3*q - 45. Is 15 equal to v?
False
Let i = 11899 + -12005. Is i > -851/8?
True
Let q = -95.5 + 3.5. Let p = q - -94. Are 59 and p non-equal?
True
Suppose -468 = -n - 3*n + 2*y, n - 117 = -3*y. Which is smaller: n or 115?
115
Let b = -10.9 + 16. Let v = b + -9.1. Do v and -0.7 have the same value?
False
Let q = 76 - 34. Let u = 40.7 - 82.3. Let l = u + q. Which is greater: l or -2?
l
Let c = -336.7 + 332. Let i = -0.72 + 5.02. Let u = i - c. Which is smaller: u or 0.2?
0.2
Let a(v) = v - 4. Let u be a(4). Let t(d) = 3*d - 10. Let k be t(5). Let x be (-3)/k*((-445)/(-495) + -1). Is u < x?
True
Suppose 36*h - 4472 = 12849 - 2237. Which is smaller: h or 4602/11?
4602/11
Let k be 2 - (-24)/(-13) - (-13)/((-169)/288). Suppose -3*q + 2*o - 67 = -0*o, -3*q = 2*o + 83. Which is bigger: k or q?
k
Let o(g) = g**3 - 18*g**2 + 39*g - 90. Suppose 0 = -22*z + 18*z + 64. Let f be o(z). Which is bigger: f or 0?
f
Let p be 2004/16 + (-3)/(-4). Let c(b) = b**2 + 27 - p - 22*b + 38 + 29. Let o be c(22). Is -32 less than o?
False
Let z be 1664/448 - ((-3 - -2) + 5). Let j = 0 - -0.02. Let k = j - -0.98. Which is smaller: z or k?
z
Let c = -5472840 + 158693541/29. Let f = c + 649. Which is bigger: f or 0.2?
0.2
Suppose 0 = 9*t - 21 + 3. Suppose 0 = -l - 5*k + 1, t*l + 14 = 5*l + 4*k. Is 6 < l?
False
Let a = 20/173 - -2974/1211. Let d = -178 + 163. Let u be (-2 - 48/d)/((-3)/(-10)). Which is bigger: u or a?
u
Let i be (12/(-4755))/((-15)/(375/170)). Which is greater: i or 1?
1
Let w = -1324.1 + 1324. Which is greater: -3/412 or w?
-3/412
Suppose 3*h = 1 - 10, 0 = 4*g - 4*h - 468. Let y be 20/(-18)*g/190. Which is greater: 2/25 or y?
2/25
Suppose 64*f - 67 = -25*f + 22*f. Do -8/143 and f have different values?
True
Let m = -699 - -454. Let p = m - -244. Which is smaller: -2/189 or p?
p
Suppose 0 = -97*k + 95*k + 4. Suppose -2*z - 5*s = 0, -s = k*z - 3*z. Let w = 20/7 - 394/133. Which is greater: z or w?
z
Let g = -62 - -60.42. Let c = g + 1.48. Is -38 not equal to c?
True
Let m be -6*(-3)/(-18) - 2*-22. Is 382/9 != m?
True
Let z = 1224809343/317709481 + 832/1701581. Let y = z + 2/1307. Let h = 7 - 3. Which is smaller: h or y?
y
Let j(h) = -2*h**2 - 3*h + 4. Let x be j(5). Suppose 0 = 189*s - 208*s - 1140. Which is greater: s or x?
s
Let o be (-2)/5 - (-10024)/40. Let d = o - 249. Suppose 5*n - 25 = 0, -25 = 3*b + 5*n - 10*n. Which is bigger: b or d?
d
Let c be ((-57)/(-15) - 68/85)/66. Does c = 37?
False
Let b(k) = 45*k + 1. Let x be b(-2). Let j = -88 - x. Which is greater: j or -1/31?
j
Suppose -d - c + 3 = 0, -47*d + 3*c - 9 = -52*d. Is -1/867 < d?
True
Suppose -h - 2*g = 2, -13*h = -10*h - 4*g - 4. Let q be (-13 + 1)*(-18)/(-28). Which is smaller: q or h?
q
Let u be ((-5)/6 + (-435)/(-290))/(4/(-342)). Suppose 0 = -0*m + 3*m + 3*q + 159, 0 = -5*m - 2*q - 277. Is u >= m?
True
Suppose -1102 + 573 - 607 = 4*x. Is x less than -2558/9?
False
Let o(j) = 6*j - 3. Let p be o(-4). Suppose -3*s = -10 + 4. Suppose -s*h = -3*b - 0*h - 71, 4*b + 4*h = -128. Is p at least as big as b?
True
Let a be (-2)/(-5) + ((-8)/(-24))/((-70)/189). Which is smaller: a or -0.2494?
a
Suppose 3*g - 12*g - 27 = 0. Let i be (g - (-125)/35) + (-22)/(-133). Is -1 <= i?
True
Let q be ((-6 + -7 - 3) + (-14)/(-2))*42. Are -420 and q equal?
False
Let z be (2/1 + -2)/(-2). Let d = -3733/18202 - -10/479. Do d and z have the same value?
False
Suppose -o = -4*o + 108. Let x be (7 - o)*4/2*-1. Suppose d - 4*s = 30, 0 = 4*d - 4*s - 214 + x. Is d < 42?
False
Suppose 10*o = 5*o - 10, i - 4 = -3*o. Suppose i*g + 0 = 20. Are g and 15/23 nonequal?
True
Suppose 3*y = -2*h + 47, 2*y + h - 10 - 21 = 0. Let t be 2 + (12/(-3) - -13). Let m = y - t. Is -15 > m?
False
Let p = -1629 + 8083/5. Let h = p + 509/35. Is -10 > h?
False
Suppose -31*b + 21*b - 90 = 0. Suppose 0 = 3*m + 11 + 16. Let w = m + 1. Which is smaller: b or w?
b
Let j = 932 + -510. Let b = -421 + j. Is b equal to -24?
False
Suppose -15 = 6*x - 21. Are -10/637 and x equal?
False
Let b be (9/(-474))/(-7 + 10). Is 0 < b?
False
Let k be 4 + (-210)/14 - 10947/57. Is k equal to 0?
False
Let m = -45 + 51. Suppose -2*k + t + m + 11 = 0, 0 = -3*k + t + 27. Suppose 0*q = 3*q + 3*f - 42, 0 = 5*f - k. Which is smaller: q or 9?
9
Suppose -22*o = -18*o - 40. Suppose -o*t - 648 = -1698. Which is smaller: 103 or t?
103
Let p(z) = 13*z**2 - 10*z - 235. Let y be p(14). Is 2173 < y?
False
Let j be 13 - (23 - 11) - -997. Which is smaller: 2992/3 or j?
2992/3
Let u(y) = 201*y - 1362. Let k be u(7). Is 43 >= k?
False
Suppose 0 = -3*c, -u + 370 = 4*c + 137. Let w = u + -190. Which is smaller: 47 or w?
w
Suppose 1 + 0 = w - 2*l, 4*l = -4*w + 16. Let d be (13 - 14) + (-3)/(-9)*w. Which is greater: 4/31 or d?
4/31
Suppose 0 = -b - 0 + 1. Let m be (-20)/4*8/(-6420). Let z = m + 33/428. Which is smaller: b or z?
z
Let j be ((-5614)/(-56))/((-2)/8). Let v = j + 7621/19. Is -3 equal to v?
False
Let t = -45 + 42.7. Suppose 5*h + 4*b + 18 = 2*b, 0 = -5*h + 2*b - 2. Which is bigger: h or t?
h
Let r(m) = m + 1. Let d be r(3). Suppose -5*q = -2*x - 4, 4*q - x - 17 = -d*x. Let y be (35/14)/(-1 + q/4). Which is greater: -28/5 or y?
y
Let b = 16.55 + -269.25. Let a = 253 + b. Let s be 20/70 - (-508)/(-14). Is s less than a?
True
Suppose 39*w - 42*w + 243 = 0. Let u = -116 + w. Let h = 29 + u. Does -14 = h?
False
Suppose -4*s = -5*m - 30007, -82*m + 30010 = 4*s - 84*m. Is s smaller than 7505?
True
Let r = -3814/31 - -123. Let l = 21974 + -21975. Do l and r have different values?
True
Let b = -17.87 + 18. Let d = 17/465 + 108226/3255. Let f = d - 33. Which is greater: f or b?
f
Let q = -12542.5 + 12542. Is 2 greater than q?
True
Suppose -125 = -3*b + 151. Let n = -5.68 + -0.62. Let m = n + 7.3. Is m < b?
True
Let w = 6812001/466 - 14618. Which is smaller: w or -2?
-2
Let i = -124 + 100. Let t be 6/i - (-15)/380. Which is greater: t or -1?
t
Suppose 3*m + 3 = 2*m, -q - 4*m = -225. Suppose -2*g + 5*g = q. Let k = -473/6 + g. Which is smaller: 1 or k?
k
Let l = -230.5 + 249.5. Is l at least as big as 8/3?
True
Let h = 115 + -95. Let b be 4 - 2/(8/h). Let d be (b + 19)*(0 - 6/66). Is d bigger than -3?
True
Let k = 78/109 + -211567/295499. Which is greater: k or 0?
0
Suppose 2*q = -4*k + 14, 2*q + 6*k = 5*k + 2. Suppose 0 = -r - 0*x - 4*x + 18, x = 3*r + 11. Let d be r/17*13 + -1 + 3. Which is smaller: d or q?
q
Let n = -279/20 - -47/4. Is n > 109?
False
Let c = 264 + 82. Suppose -3*o + c = -158. Let j be (1 + (-5)/(-2))/((-12)/o). Which is bigger: -1 or j?
-1
Suppose 0 = -6*v + 8*v + 3*k + 17, -13 = 3*v + 2*k. Which is smaller: -2/189 or v?
v
Suppose 5*s - 50 = -15. Suppose -13 + s = -2*c. Suppose -8*w - 65 = -c*w. Is w greater than or equal to -15?
True
Suppose 0 = -436*g + 271953 - 1719909. Which is bigger: -16607/5 or g?
g
Let m = 8524 + -8616. Let c(s) = -s**3 + 9*s**2 + 2*s - 10. Let o be c(10). Which is bigger: m or o?
o
Suppose 332*l + 600 = 95552. Which is smaller: 274 or l?
274
Let y(b) = -119*b - 16. Let d be y(-7). Let m = 1455 + -639. Which is bigger: d or m?
d
Suppose -3*w = -5*z - 48, -2*z + 6*z + w = -35. Let i be 15/(-80)*1/z. Let q = i + -13/48. Is -19 != q?
True
Suppose 2*d = 3*p + 6*d - 56, -4*d - 16 = 0. Suppose 10*s = 6 + p. Let b be ((-1778)/590 + s)/(-2). Which is smaller: -2/7 or b?
-2/7
Let a be ((-100)/(-30) + -3)*129. Let i be 61 + (3 + -2)*1. Let c = i - a. Which is smaller: 18 or c?
18
Let q be -12 + 0 + (-15)/(-5). Let y be 469/94 + (q - (1 - 5)). Is 1 <= y?
False
Let s be 3/(-16)*8/(-6). Let g be 1/(-9)*(-6)/(-18). Is s greater than g?
True
Suppose -4*y = -2*p + 5*p + 51, -2*p - 28 = 2*y. Let x be 8/(-68) - (-302)/(-34). Is y less than x?
False
Suppose -3*z + 1433 = 2*f, -8*z + 3*z + 2391 = 2*f. Let w = z - 478. Which is smaller: w or 3/893?
3/893
Let y(j) = 4*j**2 + 4*j + 4. Let i be y(-3). Let q be 4/i - ((-1200)/273 - -3). Let v(l) = -l**2 - 5*l - 3. Let s be v(-4). Which is bigger: s or q?
q
Let p = 2833 + -113. Is p greater than or equal to -1?
True
