7389/77 + -673/7. Which is bigger: h or 1?
1
Let g = 10.464 + -4540.464. Is g at most as big as -2/3?
True
Let n = 12 - 3. Let i be 1 + 3/(n/(-4)). Let r = -768642 - -5380493/7. Which is bigger: i or r?
r
Let x(t) = 16*t**2 - 16*t - 49. Let j be x(6). Is 429 less than j?
True
Suppose -2177 = -235*b + 2011 - 18758. Is b <= -70?
False
Suppose -8*s + 59 = 219. Let r be ((-10)/s)/((-2)/(-268)). Is -0.2 >= r?
False
Let x = -202207/7 + 28956. Let c = x - 70. Does -1 = c?
False
Let q = 224608/11 + -20444. Which is bigger: -25 or q?
-25
Let w(v) = -2*v - 11. Let x be 130/(-15) - 1/3. Let d be w(x). Suppose 4*p = d*p + 12. Which is smaller: -26/7 or p?
p
Let i be 107/9 - 2/9. Suppose x = 2*x - p - 10, -2*p = -4*x + 42. Is i at most x?
False
Suppose 12 = 4*v + 2*u, 0 = -v + 3*v - 2*u - 12. Let g = 186 - 188. Let c be g/v*(-7)/14. Is c <= 1?
True
Suppose -4*c - 8 = 4. Does c = -116/43?
False
Let q = -6.031 + 4.031. Is -461 > q?
False
Let f(q) = 17*q - 5. Let c be f(1). Let h be 445824/(-423) + c/3. Let t = h + 1050. Do t and 1 have different values?
True
Let h = -6195 + 25223/4. Let l = h - 111. Which is greater: l or 5/8?
5/8
Let l = 3619.9724 + -3620. Is -0.2 < l?
True
Suppose -4*k + 3 - 19 = 0, -3*o - 3*k = -87. Suppose 14*b - o*b = 0. Which is smaller: b or 2/25?
b
Let d = -3 + 9. Let h be 10/(-48) - (-2)/d. Let p = -1407 + 1406. Is p less than h?
True
Let k = 0.235 - -510.765. Let a = 503 - k. Which is bigger: a or 15?
15
Suppose 5*a - 2 = 7*a. Let r = -40536/35 + 1158. Which is greater: r or a?
r
Let j = 6746 - 6746. Which is greater: 2/8765 or j?
2/8765
Let z = 173 + -170. Suppose 10 = -z*n - 4*x + 80, -2*x + 24 = n. Which is greater: 19 or n?
n
Let d = 12108 + -11728. Which is smaller: d or 382?
d
Let b = 509585/36 - 14159. Let m = b - -1/9. Is m > -3?
False
Let w = 20 + 12. Let z be 1*(w/(-20))/(-4). Suppose 2*j = 4*k + 14, 0*k + 3*k + 12 = 3*j. Which is greater: z or j?
j
Let j be ((-4851)/(-121) - 40) + 266/(-22). Is j greater than or equal to 84?
False
Let w = 84548860308482/229347 - 368650387. Let a = -2/1499 - w. Is 1 >= a?
True
Let r be 10934/25652 - (3/2)/1. Let b = r - -28/53. Let p(s) = s - 6. Let x be p(5). Which is smaller: x or b?
x
Let n(h) = 3*h - 8. Let d be n(6). Let t = -1555.6 - -944.5. Let s = t + 611. Which is greater: s or d?
d
Suppose i - 32 = 4*q, -5*i + q + 92 = -2*q. Let c be (-2)/i + 113/776. Which is bigger: 1 or c?
1
Let g = -1 - -7. Let u = g + -29. Let f = u - -28. Are 5 and f equal?
True
Let p = 68 - 57. Let d = -104 + 53. Let c = 53 + d. Which is bigger: c or p?
p
Suppose 1 = -h + 3*c, 2*h + 0*h = 5*c - 1. Suppose 3*m = 2*m - h*y + 74, 0 = -m + 3*y + 89. Is 157/2 less than or equal to m?
True
Let v = 5/6 + -17/42. Suppose 0 = -2*l - 4*h + 16, -4*l - 3*h + 3 + 9 = 0. Suppose 1 = -s - l, 2*c - 3*s = 3. Is c not equal to v?
True
Suppose 4*c + 18323 = 3*m, -c = -0*c + 5. Let h = 445364/73 - m. Does h = 1?
False
Let d = 45 + -84. Let y be ((-184)/(-12) - 2)/((-48)/144). Is y at least d?
False
Let v(d) = -d**2 - 6*d + 5218. Let o be v(-76). Is o not equal to -1328/13?
True
Suppose -487 = 65*y + 254 + 39. Let j be 15/9*(-6)/1. Let l = j - -1. Do y and l have the same value?
False
Suppose 0 = -4*w - 14 + 10. Let d = -27 - -31.32. Let r = d + -4.3. Are r and w nonequal?
True
Let m = 63 + -59. Suppose -20 = -m*x + 4. Let w be (6/36)/((-2)/x). Do w and -2 have different values?
True
Let v(d) = -d**3 - 10*d**2 - 32*d - 224. Let c be v(-9). Let b be (-32)/6*(1 + 2). Which is bigger: c or b?
b
Let k = -217.1 + 56.7. Let v = -160 - k. Is 0.07 less than v?
True
Let s be (-6 + (-5670)/56)*-12. Which is smaller: s or 1286?
1286
Suppose 116*h = 132*h + 7283 + 28381. Is -6 less than or equal to h?
False
Suppose n - 2 = 0, -2*n = -o - 0*n - 61. Let l = -68 - o. Suppose s + 12 = j - 0, -2*j = 4*s + 36. Which is greater: s or l?
s
Let h be (-4)/(-24) - 446984/(-3120). Let l = h + -717/5. Suppose 0 = t - 3*t. Which is greater: l or t?
l
Suppose 115*w - 93*w - 10296 = 0. Which is greater: 462 or w?
w
Let h be ((-2)/(-30))/((-493)/(-29580)). Let c be (-20)/(-6)*18/15. Is h >= c?
True
Let t be 7/63 + (-266)/441. Is t != 1?
True
Suppose -4*k - 96 = 616. Let n = k + 251. Which is smaller: n or 71?
71
Let g = 40.37 + -61.37. Let x be (-6)/(-2) + 34/(-10). Is x at least g?
True
Suppose 0 = -2*m + 4*v + 2, -5*m + 6 = -5*v + 1. Let b = -2473 + 2422. Which is greater: m or b?
m
Let j be ((-2)/(-2))/(-16 + 3883/242)*-334. Is -7349 > j?
False
Suppose 106343 = -35*j + 13138. Let r = j + 407437/153. Is -1 <= r?
True
Let d = 16562 + -16561. Is -45/233 != d?
True
Let h be -2 + 1 - 549/2331. Let a = 208435/37 + -5633. Let q = a + h. Are q and 2/5 non-equal?
True
Let w = 0.29 - 161.29. Let v = -161.58 - w. Which is bigger: v or 0.2?
0.2
Let z(u) = 9*u**2 - 9*u + 12. Let m be z(9). Let o be -1 + -5 + (-246)/m*-16. Is o greater than or equal to 0?
False
Suppose -37*s + 47*s = 520. Let t = s - 45. Let x(p) = p**3 + 6*p**2 - p - 6. Let f be x(-6). Is f at most t?
True
Let s = 6248 - 6218. Do 11 and s have the same value?
False
Let x = -1590 + 903. Let z = x + 287. Let f = z + 5998/15. Which is smaller: f or -1?
-1
Let q = -400 + 130. Let m be 1 - (-3)/14*1236/q. Which is greater: 1 or m?
1
Suppose -4 = p - 5*o - 0*o, -5*p - o = -32. Let h be p + 0 + (-4)/2. Suppose -5*i = -4*k - 5, 2*k + 5 = -4*i + 9. Which is greater: i or h?
h
Let b = 502 + -267. Let i = b - 288. Is -55 less than i?
True
Suppose 5*k = k + 8. Let o be (-2 - (-3 + 1)) + (1 - -1). Suppose 2*j - 2*v = -6, o*j - 4*j = -3*v + 9. Is j greater than k?
False
Let p = 16.63 + -0.63. Let a = 3.9575 - -0.0425. Which is greater: p or a?
p
Let y be ((-7)/21)/(2/(-24)). Suppose 0*n + y*n = 2*n. Suppose 3*i - 14*i - 11 = n. Is i > -2/63?
False
Let w(i) = 36*i + 93. Let t(h) = 18*h + 45. Let o(s) = -7*t(s) + 4*w(s). Let m be o(-3). Do -5 and m have the same value?
False
Let u be (-8)/(-42) - (-6)/(-18). Let f be (-1)/((9/(-3))/75). Let x = f - 23. Is u != x?
True
Suppose 0*t + 3*t = 9. Suppose 472 + 1040 = 9*n. Let b be ((-3)/30)/((-7)/n). Which is greater: b or t?
t
Let b = -1586 - -1584. Which is smaller: -43/42 or b?
b
Let u be (-8 - (17 + -23))*1/2. Let a = -1 - -3. Which is smaller: u or a?
u
Let p = -302 + 296. Let z = -8 - p. Let a = -847/9 - -94. Is a <= z?
False
Suppose -47 - 5 = 26*z. Let k be 112/10*12/(-48). Is k at most as big as z?
True
Let g be 19*3*2/6. Suppose 0 = -3*i + 3*f + 45, -i + 5*f - 9*f = -35. Do i and g have different values?
False
Let l = 394 - 383. Suppose l*h - 92 = 51. Which is smaller: 27/2 or h?
h
Suppose p = -i + 12, -42*p = -40*p - 2*i - 8. Which is smaller: 9 or p?
p
Suppose 0 = 42*w - 38*w - 16. Suppose -n - 4*n - 16 = -w*z, z = -3*n - 13. Let j be 5 - (2/n - (-18)/4). Which is greater: j or 1/62?
j
Let b(f) = f**2 + 22*f - 103. Let x be (-14 + -1)/3*16/(-20). Let u be b(x). Which is greater: u or -77?
u
Let i = -1998/5 + 331. Let t = i + 3017/45. Do -2 and t have different values?
True
Let n be 39/9 + 6/9 - 0. Let l be (n + 1 - 12)*22/(-4). Let x = l + -18. Which is smaller: 17 or x?
x
Let v(a) = a. Let b be v(6). Let j = 1781/378 + 31/54. Which is greater: j or b?
b
Let d = 4889 - 4851. Let q = -301.2 - -263.42. Let m = d + q. Which is smaller: m or -0.1?
-0.1
Let a = 18962530/46401 - -4/15467. Are 408 and a equal?
False
Let c be (1/2)/((-1)/(-36)). Let w(i) = -2*i**2 - 18*i + 209. Let d be w(-16). Let a = c + d. Do 3 and a have different values?
False
Let n(b) = b**3 + b**2 - 13*b + 1. Let h be n(-4). Let a(f) = f**2 + 23*f - 54. Let p be a(h). Is -0.1 at least p?
False
Suppose 0 = 3*v - 4*v - 4*a - 18, -28 = -4*v + 4*a. Suppose 4*j + 7 = 2*g + j, -v*j = -4*g + 26. Let c be 0 - (1 - 2) - -2. Which is greater: c or g?
g
Let s(q) = q**3 + 76*q**2 + 3*q + 227. Let o be s(-76). Which is greater: 1/771 or o?
1/771
Let x be 1/(5/2) - 18/45. Let h be 1 - -2 - (-5 + (-225)/(-35)). Let w = -15/14 + h. Which is greater: x or w?
w
Let l = -3725 + 3713. Are 16 and l non-equal?
True
Suppose 3*a + a = 36. Let m = a - 6. Let b = -84638 - -84641. Is b != m?
False
Suppose -23*m - 944 = 68. Let z be m/10*46/(-92). Which is bigger: 3 or z?
3
Let l be -12*8*(-15)/180. Let y be (3/(-3))/1*-3. Suppose -6*w + w + 50 = -y*j, 4*w + 5*j - 3 = 0. Which is greater: l or w?
l
Let q = -5.27 + 